Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
441	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:28:09 Büchi automaton Regular language DFA minimization Finite-state machine Turing machine Deterministic automaton Ω-automaton Automata theory Theory of computation Theoretical computer science
442	Good-for-Games Automata versus Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2015-01-14 10:24:46 Science Philosophy of science Automata theory Finite-state machine Determinism
443	Encryption using cellular automata chain-rules Andrew Wuensche1,2 1 Discrete Dynamics Lab. (www.ddlab.org) Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2008-05-05 07:51:34 Mathematics Chaos theory XTR Attractor
444	Cost Functions and Value 1 problem in practice Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-12-18 04:04:55 Deterministic automaton Regular language Probabilistic automaton Mathematics Deterministic pushdown automaton Automata theory Applied mathematics Ω-automaton
445	Malware Analysis with Tree Automata Inference ⋆ Domagoj Babi´c, Daniel Reynaud, and Dawn Song University of California, Berkeley {babic, reynaud, dawnsong}@cs.berkeley.edu Abstract. The underground malware-based econ Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Tree automaton Malware Tree Directed acyclic graph Graph coloring Graph theory Automata theory Theoretical computer science
446	Discrete Dynamics Lab: tools for investigating cellular automata and discrete dynamical networks Andrew Wuensche Faculty of Computing, Engineering and Mathematical Sciences University of the West of England, Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2004-10-13 11:24:48 Logic Science Attractor Systems theory Chaos theory Structure Nature Dynamical system Cellular automaton Networks Bioinformatics Boolean network
447	ACME: Automata with Counters, Monoids and Equivalence? Nathanaël Fijalkow1,2 and Denis Kuperberg2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-21 11:37:01 Automata theory Mathematics Category theory Formal languages Algebraic structures Monoid Semiautomaton Probabilistic automaton Regular language Abstract algebra Semigroup theory Algebra
448	LOGIC SYSTEMS LABORATORY Swiss Federal Institute of Technology Prof. Daniel Mange Prof. Jacques Zahnd Prof. Eduardo Sanchez Add to Reading List Source URL: lslwww.epfl.ch Language: English - Date: 2001-12-13 08:15:14 Human–computer interaction Turing machine Computer science Artificial life Self-replication Cellular automaton Reconfigurable computing Bio-inspired computing Automata theory Applied mathematics Theoretical computer science BioWall
449	Foundations of Software Technology and Theoretical Computer ScienceSubmission Quasi-Weak Cost Automata: A New Variant of Weakness∗ Denis Kuperberg1 , Michael Vanden Boom2 1 L IAFA /CNRS/Universit´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Mathematics Ω-automaton Büchi automaton Semiautomaton Alphabet Finite-state machine Muller automaton Automata theory Theoretical computer science Computer science
450	LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS DENIS KUPERBERG Liafa/CNRS/Université Paris 7, Denis Diderot, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-08 11:47:02 Linear temporal logic Temporal logic Mathematical logic Semigroup Theoretical computer science Semigroup theory Büchi automaton Inverse semigroup Ω-automaton Automata theory Mathematics Algebraic structures

UPDATE